翻訳と辞書 Words near each other ・ Legnephora ・ Legnephora moorei ・ Legnica ・ Legnica (parliamentary constituency) ・ Legnica Airport ・ Legnica Coal Mine ・ Legnica County ・ Legnica railway station ・ Legnica Voivodeship ・ Legnickie Pole ・ Legnonotus ・ Lego ・ Lego (album) ・ Lego (disambiguation) ・ Lego (musician) ・ LEGO (proof assistant) ・ Lego 4+ ・ Lego Adventurers ・ Lego Agents ・ Lego Alpha Team ・ Lego Aqua Raiders ・ Lego Aquazone ・ Lego Architecture ・ Lego Atlantis ・ Lego Baby ・ Lego Batman ・ Lego Battles ・ Lego Ben 10 ・ Lego big morl ・ Lego board games Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク LEGO (proof assistant) ： ウィキペディア英語版 LEGO (proof assistant) LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). == External links == * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「LEGO (proof assistant)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.